Fork Algebras as a Sufficiently Rich Universal Institution
نویسندگان
چکیده
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several propositional monomodal logics, propositional and first-order dynamic logic, and propositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretability results as institution representations from the institution of the corresponding logics to that of fork algebra. We also advocate for the institution of fork algebras as a sufficiently rich universal institution into which institutions meaningful in software development can be represented.
منابع مشابه
Universal Central Extension of Current Superalgebras
Representation as well as central extension are two of the most important concepts in the theory of Lie (super)algebras. Apart from the interest of mathematicians, the attention of physicist are also drawn to these two subjects because of the significant amount of their applications in Physics. In fact for physicists, the study of projective representations of Lie (super)algebras are very impo...
متن کاملA Short Proof of Representability of Fork Algebras
In this paper a strong relation is demonstrated between fork algebras and quasi-projective relation algebras. With the help of the representation theorem of quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras. Fork algebras, due to their expressive power and applicability in computing science, have been intensively studied in the last four ...
متن کاملFuzzy universal algebras on $L$-sets
This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...
متن کاملFork Algebras in Usual and in Non-well-founded Set Theories1
Due to their high expressive power and applicability in computer science, fork algebras have intensively been studied lately. In particular, they have been fruitfully applied e.g. in the theory of programming (specification, semantics etc.). The literature of fork algebras has been alive and active for at least five years by now. Some references are: [34], [35], [18], [36], [10], [11], [14], [8...
متن کاملRepresentability and Program Construction within Fork Algebras
The representation theorem for fork algebras was always misunderstood regarding its applications in program construction. Its application was always described as “the portability of properties of the problem domain into the abstract calculus of fork algebras”. In this paper we show that the results provided by the representation theorem are by far more important. We show that not only the heuri...
متن کامل